65 research outputs found
Triangle-Intersecting Families of Graphs
A family of graphs F is said to be triangle-intersecting if for any two
graphs G,H in F, the intersection of G and H contains a triangle. A conjecture
of Simonovits and Sos from 1976 states that the largest triangle-intersecting
families of graphs on a fixed set of n vertices are those obtained by fixing a
specific triangle and taking all graphs containing it, resulting in a family of
size (1/8) 2^{n choose 2}. We prove this conjecture and some generalizations
(for example, we prove that the same is true of odd-cycle-intersecting
families, and we obtain best possible bounds on the size of the family under
different, not necessarily uniform, measures). We also obtain stability
results, showing that almost-largest triangle-intersecting families have
approximately the same structure.Comment: 43 page
Intersecting Families of Permutations
A set of permutations is said to be {\em k-intersecting} if
any two permutations in agree on at least points. We show that for any
, if is sufficiently large depending on , then the
largest -intersecting subsets of are cosets of stabilizers of
points, proving a conjecture of Deza and Frankl. We also prove a similar result
concerning -cross-intersecting subsets. Our proofs are based on eigenvalue
techniques and the representation theory of the symmetric group.Comment: 'Erratum' section added. Yuval Filmus has recently pointed out that
the 'Generalised Birkhoff theorem', Theorem 29, is false for k > 1, and so is
Theorem 27 for k > 1. An alternative proof of the equality part of the
Deza-Frankl conjecture is referenced, bypassing the need for Theorems 27 and
2
Hyper-regular graphs and high dimensional expanders
Let be a finite graph. For we say that is
-regular, if every has degree . We say that is -regular, for , if is regular and for every ,
the subgraph induced on 's neighbors is -regular. Similarly, is
-regular for , if is
regular and for every , the subgraph induced on 's neighbors
is -regular; In that case, we say that is an
-dimensional hyper-regular graph (HRG). Here we define a new kind of graph
product, through which we build examples of infinite families of
-dimensional HRG such that the joint neighborhood of every clique of size at
most is connected. In particular, relying on the work of Kaufman and
Oppenheim, our product yields an infinite family of -dimensional HRG for
arbitrarily large with good expansion properties. This answers a question
of Dinur regarding the existence of such objects.Comment: 27 page
A sharp threshold for random graphs with a monochromatic triangle in every edge coloring
Let be the set of all finite graphs with the Ramsey property that
every coloring of the edges of by two colors yields a monochromatic
triangle. In this paper we establish a sharp threshold for random graphs with
this property. Let be the random graph on vertices with edge
probability . We prove that there exists a function with
, as tends to infinity
Pr[G(n,(1-\eps)\hat c/\sqrt{n}) \in \R ] \to 0 and Pr [ G(n,(1+\eps)\hat
c/\sqrt{n}) \in \R ] \to 1. A crucial tool that is used in the proof and is
of independent interest is a generalization of Szemer\'edi's Regularity Lemma
to a certain hypergraph setting.Comment: 101 pages, Final version - to appear in Memoirs of the A.M.
Thresholds and expectation-thresholds of monotone properties with small minterms
Let be a finite set, let , and let denote a random
binomial subset of where every element of is taken to belong to the
subset independently with probability . This defines a product measure
on the power set of , where for
.
In this paper we study upward-closed families for which all
minimal sets in have size at most , for some positive integer
. We prove that for such a family is a
decreasing function, which implies a uniform bound on the coarseness of the
thresholds of such families.
We also prove a structure theorem which enables to identify in
either a substantial subfamily for which the first moment
method gives a good approximation of its measure, or a subfamily which can be
well approximated by a family with all minimal sets of size strictly smaller
than .
Finally, we relate the (fractional) expectation threshold and the probability
threshold of such a family, using duality of linear programming. This is
related to the threshold conjecture of Kahn and Kalai
- …